истинное подмножество

См. также в других словарях:

• ВОПРОС — тип суждения, предполагающий недостаток информации о соответствующем объекте и требующий ответа, объяснения. Логическая структура любого В. включает: 1) базисную информацию то, что уже известно; 2) неизвестное то, на что направлен В.; 3)… …   Новейший философский словарь

• АЛГЕБРАИЧЕСКАЯ СИСТЕМА — множество с определенными на нем операциями и отношениями. А. с. принадлежат к числу основных математич. структур и имеют глубоко разработанную общую теорию, сформировавшуюся в начале 50 х гг. 20 в. на грани между алгеброй и математич. логикой.… …   Математическая энциклопедия

• ИССЛЕДОВАНИЕ ОПЕРАЦИЙ — построение, разработка и приложения математич. моделей принятия оптимальных решений. Содержанием теоретич. аспекта И. о. являются анализ и решение математич. задач выбора в заданном множестве допустимых решений Xэлемента, удовлетворяющего тем или …   Математическая энциклопедия

• Аксиоматика теории множеств — Сюда перенаправляется запрос «Теория Цермело Френкеля». На эту тему нужна отдельная статья. Современная теория множеств строится на системе аксиом  утверждений, принимаемых без доказательства,  из которых выводятся все теоремы и у …   Википедия

• ZFC — Современная теория множеств строится на системе аксиом утверждений, принимаемых без доказательства, из которых выводятся все теоремы и утверждения теории множеств. Система аксиом Цермело Френкеля (ZF) является стандартной системой аксиом для… …   Википедия

• РМГ 83-2007: Государственная система обеспечения единства измерений. Шкалы измерений. Термины и определения — Терминология РМГ 83 2007: Государственная система обеспечения единства измерений. Шкалы измерений. Термины и определения: ( измерений ): Отображение множества различных проявлений количественного или качественного свойства на принятое по… …   Словарь-справочник терминов нормативно-технической документации

• ПУСТОЕ — (в математике и логике) – то же, что не содержащее элементов (членов) . Так, П. множество (или класс) – это множество (соответственно класс ), не имеющее ( ий) элементов; П. слово (в формализованных языках математики и математич. логики) – слово …   Философская энциклопедия

• КОГЕРЕНТНАЯ ТЕОРИЯ ИСТИНЫ —     КОГЕРЕНТНАЯ ТЕОРИЯ ИСТИНЫ концепция, сводящая проблему истинности к критерию когерентности (coherence) самосогласованности, непротиворечивости: напр., предложение истинно, если оно является элементом логически взаимосвязанной и когерентной… …   Философская энциклопедия

• когерентная теория истины —         КОГЕРЕНТНАЯ ТЕОРИЯ ИСТИНЫ (от лат. cohaerentia сцепление, связь) концепция, сводящая проблему истинности к критерию самосогласованности, непротиворечивости: напр., предложение истинно, если оно является элементом логически взаимосвязанной …   Энциклопедия эпистемологии и философии науки

• отношение —         ОТНОШЕНИЕ множество упорядоченных п ок индивидов (где п > 1), т.е. двоек, троек и т.д. Число п называется «местностью», или «арностью», О. и, соответственно, говорят о n местном (п арном) О. Так, например, двуместное О. называют… …   Энциклопедия эпистемологии и философии науки